Neutrosophic Logic - Generalization of the Intuitionistic Fuzzy Logic

In this paper one generalizes the intuitionistic fuzzy logic (IFL) and other logics to neutrosophic logic (NL). The differences between IFL and NL (and the corresponding intuitionistic fuzzy set and neutrosophic set) are: a) Neutrosophic Logic can distinguish between absolute truth (truth in all possible worlds, according to Leibniz) and relative truth (truth in at least one world), because NL(absolute truth)=1 while NL(relative truth)=1. This has application in philosophy (see the neutrosophy). That’s why the unitary standard interval [0, 1] used in IFL has been extended to the unitary non-standard interval ]0, 1[ in NL. Similar distinctions for absolute or relative falsehood, and absolute or relative indeterminacy are allowed in NL. b) In NL there is no restriction on T, I, F other than they are subsets of ]0, 1[, thus: 0 ≤ inf T + inf I + inf F ≤ sup T + sup I + sup F ≤ 3. This non-restriction allows paraconsistent, dialetheist, and incomplete information to be characterized in NL {i.e. the sum of all three components if they are defined as points, or sum of superior limits of all three components if they are defined as subsets can be >1 (for paraconsistent information coming from different sources) or < 1 for incomplete information}, while that information can not be described in IFL because in IFL the components T (truth), I (indeterminacy), F (falsehood) are restricted either to t+i+f=1 or to t + f ≤ 1, if T, I, F are all reduced to the points t, i, f respectively, or to sup T + sup I + sup F = 1 if T, I, F are subsets of [0, 1]. c) In NL the components T, I, F can also be non-standard subsets included in the unitary non-standard interval ]0, 1[, not only standard subsets included in the unitary standard interval [0, 1] as in IFL. d) NL, like dialetheism, can describe paradoxes, NL(paradox) = (1, I, 1), while IFL can not describe a paradox because the sum of components should be 1 in IFL (Smarandache 2002a, b, c).